x86: Gather BIOS EDD info during boot.
authorkfraser@localhost.localdomain <kfraser@localhost.localdomain>
Tue, 12 Jun 2007 13:03:09 +0000 (14:03 +0100)
committerkfraser@localhost.localdomain <kfraser@localhost.localdomain>
Tue, 12 Jun 2007 13:03:09 +0000 (14:03 +0100)
commit79e96982cade240531d7d84fa5b966b2b64c04af
tree2fcf4f3e09ddde43b9a3be3aa2b5204d08cb9622
parent1b0d4ab994bfcb2dda4cf4a0f0f385d1d6c90954
x86: Gather BIOS EDD info during boot.
Still needs plumbing to dom0.
Signed-off-by: Keir Fraser <keir@xensource.com>
xen/arch/x86/boot/Makefile
xen/arch/x86/boot/cmdline.S
xen/arch/x86/boot/edd.S [new file with mode: 0644]
xen/arch/x86/boot/trampoline.S
xen/arch/x86/boot/video.S
xen/arch/x86/setup.c
xen/include/asm-x86/edd.h [new file with mode: 0644]